9th edition of CASH reading group will be on Oct 30 at 14:00 Salle 316 Program: Julien: Interpolants pour la verification de programmes Amaury  Maillé: “Extending smart containers for data locality-aware skeleton programming” —August Ernstsson, Christoph Kessler — CCPE 2018